A careful derivation of the arithmetic properties of the natural numbers #92;mathbb#123;N#125;, using induction, was done by G. Peano (1858–1932). It is a lot of fun, but we will not pursue any of it here.
Source: wiktionary
Ranked by relevance and common usage.
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
41 translations across 32 languages.
1 total sentences available.
A careful derivation of the arithmetic properties of the natural numbers #92;mathbb#123;N#125;, using induction, was done by G. Peano (1858–1932). It is a lot of fun, but we will not pursue any of it here.
Source: wiktionary